- 2 402 202 книги
- Поиск
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Автор: David H. Pitt, Автор: David E. Rydeheard, Автор: Peter Dybjer, Автор: Andrew M. Pitts, Автор: Axel PoigneКатегория: Компьютеры
Размер книги: 17.83 Mb
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Компьютеры
Размер книги: 17.48 Mb
Computational Category Theory (Prentice-Hall International Series in Computer Science)
Автор: D. E. Rydeheard, Автор: Burstall
Размер книги: 907 Kb
Rydeheard D.E., Burstall R.M. Computational category theory (web draft, 2003)(263s)_MAct_.pdf
Автор:
Размер книги: 874 Kb
Rydeheard D.E., Burstall R.M. Computational category theory (c. 1990)(263s).pdf
Автор:
Размер книги: 931 Kb
Category Theory and Computer Programming
Автор: David Pitt, Автор: Samson Abramsky, Автор: Axel Poigne, Автор: David RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.80 Mb
Category Theory and Computer Science, 4 conf
Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.68 Mb
Category Theory and Computer Science 1987
Автор: David H. Pitt, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.72 Mb
Category Theory and Computer Science 1989
Автор: David H. Pitt, Автор: David E. Rydeheard, Автор: Peter Dybjer, Автор: Andrew M. Pitts, Автор: Axel PoigneКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.82 Mb
Category Theory and Computer Science, 6 conf., CTCS '95
Автор: D. E. Rydeheard, Автор: David Pitt, Автор: David E. Rydeheard, Автор: Peter JohnstoneКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.82 Mb
